$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E. no\_repeats(E;eventlist($\lambda$$e$.w{-}pred($w$;$e$);$e$)))